Readd $wgPhpCli (removed in r59446), it was already here before JS2, and FlaggedRevs...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Fri, 25 Dec 2009 18:50:00 +0000 (18:50 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Fri, 25 Dec 2009 18:50:00 +0000 (18:50 +0000)
commit5b7cc145a039ab85957126cf0dd58f27ec678e1b
tree5f8e893cb8eb8a9f60702366ca687ae875c7d151
parent6dcec5139dcdf6f4d50d507eca3a96077020f45d
Readd $wgPhpCli (removed in r59446), it was already here before JS2, and FlaggedRevs extension is using it
includes/DefaultSettings.php